Embedding object-oriented design in system engineering

The Unified Modeling Language (UML) is a collection of techniques intended to document design decisions about software. This contrasts with systems engineering approaches such as for exampleStatemate and the Yourdon Systems Method (YSM), in which the design of an entire system consisting of software and hardware can be documented. The difference between the system- and the software level is reflected in differences between execution semantics as well as in methodology. In this paper, I show how the UML can be used as a system-level design technique. I give a conceptual framework for engineering design that accommodates the system- as well as the software level and show how techniques from the UML and YSM can be classified within this framework, and how this allows a coherent use of these techniques in a system engineering approach. These ideas are illustrated by a case study in which software for a compact dynamic bus station is designed. Finally, I discuss the consequences of this approach for a semantics of UML constructs that would be appropriate for system-level design

PoN-S : a systematic approach for applying the Physics of Notation (PoN)

Visual Modeling Languages (VMLs) are important instruments of communication between modelers and stakeholders. Thus, it is important to provide guidelines for designing VMLs. The most widespread approach for analyzing and designing concrete syntaxes for VMLs is the so-called Physics of Notation (PoN). PoN has been successfully applied in the analysis of several VMLs. However, despite its popularity, the application of PoN principles for designing VMLs has been limited. This paper presents a systematic approach for applying PoN in the design of the concrete syntax of VMLs. We propose here a design process establishing activities to be performed, their connection to PoN principles, as well as criteria for grouping PoN principles that guide this process. Moreover, we present a case study in which a visual notation for representing Ontology Pattern Languages is designed

Continuous Experimentation for Automotive Software on the Example of a Heavy Commercial Vehicle in Daily Operation

As the automotive industry focuses its attention more and more towards the software functionality of vehicles, techniques to deliver new software value at a fast pace are needed. Continuous Experimentation, a practice coming from the web-based systems world, is one of such techniques. It enables researchers and developers to use real-world data to verify their hypothesis and steer the software evolution based on performances and user preferences, reducing the reliance on simulations and guesswork. Several challenges prevent the verbatim adoption of this practice on automotive cyber-physical systems, e.g., safety concerns and limitations from computational resources; nonetheless, the automotive field is starting to take interest in this technique. This work aims at demonstrating and evaluating a prototypical Continuous Experimentation infrastructure, implemented on a distributed computational system housed in a commercial truck tractor that is used in daily operations by a logistic company on public roads. The system comprises computing units and sensors, and software deployment and data retrieval are only possible remotely via a mobile data connection due to the commercial interests of the logistics company. This study shows that the proposed experimentation process resulted in the development team being able to base software development choices on the real-world data collected during the experimental procedure. Additionally, a set of previously identified design criteria to enable Continuous Experimentation on automotive systems was discussed and their validity confirmed in the light of the presented work.Comment: Paper accepted to the 14th European Conference on Software Architecture (ECSA 2020). 16 pages, 5 figure

Responsibility modelling for civil emergency planning

This paper presents a new approach to analysing and understanding civil emergency planning based on the notion of responsibility modelling combined with HAZOPS-style analysis of information requirements. Our goal is to represent complex contingency plans so that they can be more readily understood, so that inconsistencies can be highlighted and vulnerabilities discovered. In this paper, we outline the framework for contingency planning in the United Kingdom and introduce the notion of responsibility models as a means of representing the key features of contingency plans. Using a case study of a flooding emergency, we illustrate our approach to responsibility modelling and suggest how it adds value to current textual contingency plans

A Logic for the Specification of Multi-Object Systems

We present Multi-Object Dynamic Logic (MODL), a generalization of Dynamic Logic of which the intended use is the declarative specification of systems that are conceptually described by a multitude of objects. In an example specification of the controls of a railroad crossing we demonstrate how MODL can be used to give semantics and reasoning capacity to graphical languages for communicating multi-object systems. Finally we study to what extend temporal and mixed dynamic/temporal properties can be expressed in MODL

Comparative Effectiveness of Guidelines for the Management of Hyperlipidemia and Hypertension for Type 2 Diabetes Patients

Background: Several guidelines to reduce cardiovascular risk in diabetes patients exist in North America, Europe, and Australia. Their ability to achieve this goal efficiently is unclear. Methods and Findings: Decision analysis was used to compare the efficiency and effectiveness of international contemporary guidelines for the management of hypertension and hyperlipidemia for patients aged 40-80 with type 2 diabetes. Measures of comparative effectiveness included the expected probability of a coronary or stroke event, incremental medication costs per event, and number-needed-to-treat (NNT) to prevent an event. All guidelines are equally effective, but they differ significantly in their medication costs. The range of NNT to prevent an event was small across guidelines (6.5-7.6 for males and 6.5-7.5 for females); a larger range of differences were observed for expected cost per event avoided (ranges, $117,269-$157,186 for males and $115,999-$163,775 for females). Australian and U.S. guidelines result in the highest and lowest expected costs, respectively. Conclusions: International guidelines based on the same evidence and seeking the same goal are similar in their effectiveness; however, there are large differences in expected medication costs. © 2011 Shah et al

On the Multi-Language Construction

Modern software is no more developed in a single programming language. Instead, programmers tend to exploit cross-language interoperability mechanisms to combine code stemming from different languages, and thus yielding fully-fledged multi-language programs. Whilst this approach enables developers to benefit from the strengths of each single-language, on the other hand it complicates the semantics of such programs. Indeed, the resulting multi-language does not meet any of the semantics of the combined languages. In this paper, we broaden the boundary functions-based approach a la Matthews and Findler to propose an algebraic framework that provides a constructive mathematical notion of multi-language able to determine its semantics. The aim of this work is to overcome the lack of a formal method (resp., model) to design (resp., represent) a multi-language, regardless of the inherent nature of the underlying languages. We show that our construction ensures the uniqueness of the semantic function (i.e., the multi-language semantics induced by the combined languages) by proving the initiality of the term model (i.e., the abstract syntax of the multi-language) in its category

Australian health care providers' views on opt-out HIV testing

Background: Opt-out HIV testing is a novel concept in Australia. In the opt-out approach, health care providers (HCPs) routinely test patients for HIV unless they explicitly decline or defer. Opt-out HIV testing is only performed with the patients' consent, but pre-test counselling is abbreviated. Australian national testing guidelines do not currently recommend opt-out HIV testing for the general population. Non-traditional approaches to HIV testing (such as opt-out) could identify HIV infections and facilitate earlier treatment, which is particularly important now that HIV is a chronic, manageable disease. Our aim was to explore HCPs' attitudes toward opt-out HIV testing in an Australian context, to further understanding of its acceptability and feasibility. Methods: In this qualitative study, we used purposeful sampling to recruit HCPs who were likely to have experience with HIV testing in Western Australia. We interviewed them using a semi-structured guide and used content analysis as per Graneheim to code the data. Codes were then merged into subcategories and finally themes that unified the underlying concepts. We refined these themes through discussion among the research team. Results: Twenty four HCPs participated. Eleven participants had a questioning attitude toward opt-out HIV testing, while eleven favoured the approach. The remaining two participants had more nuanced perspectives that incorporated some characteristics of the questioning and favouring attitudes. Participants' views about opt-out HIV testing largely fell into two contrasting themes: normalisation and routinisation versus exceptionalism; and a need for proof versus openness to new approaches. Conclusion: Most HCPs in this study had dichotomous attitudes toward opt-out HIV testing, reflecting contrasting analytical styles. While some HCPs viewed it favourably, with the perceived benefits outweighing the perceived costs, others preferred to have evidence of efficacy and cost-effectiveness